Interactive tools are assistants in engineering ideas implementation
نویسندگان
چکیده
منابع مشابه
Proof Assistants: history, ideas and future
In this paper we will discuss the fundamental ideas behind proof assistants: What are they and what is a proof anyway? We give a short history of the main ideas, emphasizing the way they ensure the correctness of the mathematics formalized. We will also briefly discuss the places where proof assistants are used and how we envision their extended use in the future. While being an introduction in...
متن کاملIntrinsic vs. Extrinsic Motivation in an Interactive Engineering Game
In this paper, we study intrinsic vs. extrinsic motivation in players playing an electrical engineering gaming environment. We used UNTANGLED, a highly interactive game to conduct this study. This game is developed to solve complex mapping problem from electrical engineering using human intuitions. Our goal is to find whether there are differences in the ways anonymous players solved electrical...
متن کاملCanonical Forms in Interactive Exercise Assistants
Interactive exercise assistants support students in practicing exercises, and acquiring procedural skills. Many mathematical topics can be practiced in such assistants. Ideally, an interactive exercise assistant not only validates final answers, but also comments on intermediate steps submitted by a student, provides hints on how to proceed, and presents worked-out examples. For these purposes,...
متن کاملA Computational Decision Theory for Interactive Assistants
We study several classes of interactive assistants from the points of view of decision theory and computational complexity. We first introduce a special class of POMDPs called hidden-goal MDPs (HGMDPs), which formalize the problem of interactively assisting an agent whose goal is hidden and whose actions are observable. In spite of its restricted nature, we show that optimal action selection in...
متن کاملToward interactive learning for manufacturing assistants
In this paper, research towards interactive learning for Manufacturing Assistants is presented. The aim of this research is to develop a robot which can easily be instructed how to either perform tasks autonomously or in co-operation with humans. We describe the prototype of our Manufacturing Assistant and the methods developed for teaching new tasks and environments. The functionality has been...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ELECTRONICS: Science, Technology, Business
سال: 2017
ISSN: 1992-4178
DOI: 10.22184/1992-4178.2017.169.8.116.120